Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
761	Data List / Daten-Liste / Liste des données / Lista de datos Voice List Voice-Liste Liste des voix Lista de voces Add to Reading List Source URL: www2.yamaha.co.jp Language: English - Date: 2007-05-18 05:09:52 Automata theory Regular language
762	UML Tutorial: Finite State Machines Robert C. Martin Engineering Notebook Column C++ Report, June 98 In my last column I presented UML sequence diagrams. Sequence diagrams are one of the many tools in Add to Reading List Source URL: www.objectmentor.com Language: English - Date: 2012-12-22 21:57:01 Digital electronics Theoretical computer science UML diagrams Access control Logic Finite-state machine Turnstile State diagram Lock Models of computation Mathematics Automata theory
763	Modeling and Analysis of Hybrid Systems Reachability analysis for hybrid automata Prof. Dr. Erika Ábrahám Informatik 2 - Theory of Hybrid Systems RWTH Aachen University Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2012-03-02 04:35:07 Algorithm Mathematical logic Theoretical computer science Automata theory Reachability Hybrid system Abstraction Mathematics Differential equations Applied mathematics
764	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib ⋆ University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Quantum information theory Ω-automaton Symbol Epistemic modal logic Automata theory
765	© J.W. Schmidt, Florian Matthes[removed]State Diagrams Subject/Topic/Focus: o Introduction to State Diagrams Summary: Add to Reading List Source URL: www.sts.tu-harburg.de Language: English - Date: 2000-01-18 05:55:12 Software engineering Automata theory Digital electronics Theoretical computer science Computing State diagram Activity diagram Event Diagram UML diagrams Models of computation Infographics
766	Formalizing Information Flow Control in a Model-Driven Approach? Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif Institute for Software & Systems Engineering, Augsburg University, Germany Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:13:15 Models of computation Software engineering Data modeling Theoretical computer science Systems engineering Model-driven architecture Finite-state machine UML state machine UMLsec Unified Modeling Language Automata theory Digital electronics
767	Cognitive Cellular Automata Pete Mandik Department of Philosophy William Paterson University of New Jersey 300 Pompton Road Wayne, NJ 07470 Add to Reading List Source URL: www.petemandik.com Language: English - Date: 2008-01-11 10:00:45 Mental processes Cognition Neuropsychological assessment Cellular automaton Artificial life Computational theory of mind Functionalism Consciousness Thought Mind Cognitive science Philosophy of mind
768	Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI Add to Reading List Source URL: cm.bell-labs.com Language: English - Date: 2005-08-18 15:37:21 Formal methods Computer science Büchi automaton State diagram Finite-state machine Model theory Stack Models of computation Automata theory Theoretical computer science
769	Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian ˘ areanu ˘ Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2011-04-25 15:32:59 Computer science UML diagrams Automata theory Digital electronics Logic in computer science State diagram UML state machine Finite-state machine Stateflow Models of computation Theoretical computer science Applied mathematics
770	Statecharts in the making: a personal account Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2007-06-13 10:47:19 Software engineering Computing Structure Automata theory Digital electronics I-Logix State diagram Finite-state machine Higraph Models of computation Diagrams UML diagrams

UPDATE